The History and Culture of Iran and Central Asia from the Pre-Islamic to the Islamic Period. Edited by D. G. Tor and Minoru inaba. Notre Dame, IN: University of Notre Dame Press, 2022. Pp. xiv + 349. $90.

Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative systems remains problematic. In all real systems, it is possible that some members of an agent population will not comply with the rules of a normative system, even if it is in their interests to do so. It is therefore important to consider the extent to which a normative system is robust, i.e., the extent (...) to which it remains effective even if some agents do not comply with it. We formalise and investigate three different notions of robustness and related decision problems. We begin by considering sets of agents whose compliance is necessary and/or sufficient to guarantee the effectiveness of a normative system; we then consider quantitative approaches to robustness, where we try to identify the proportion of an agent population that must comply in order to ensure success; and finally, we consider a more general approach, where we characterise the compliance conditions required for success as a logical formula. We furthermore introduce a logic for specifying properties of norm compliance in general and norm robustness in particular. (shrink)

Qualitative Coalitional Games are a variant of coalitional games in which an agent's desires are represented as goals that are either satisfied or unsatisfied, and each choice available to a coalition is a set of goals, which would be jointly satisfied if the coalition made that choice. A coalition in a QCG will typically form in order to bring about a set of goals that will satisfy all members of the coalition. Our goal in this paper is to develop and (...) study logics for reasoning about QCGs. We begin by introducing a logic for reasoning about “static” QCGs, where participants play a single game, and we then introduce and study Temporal QCGs , i.e., games in which a sequence of QCGs is played. In order to represent and reason about such games, we introduce a linear time temporal logic of QCGs, called ℒ. We give a complete axiomatisation of ℒ, use it to investigate the properties of TQCGs, identify its expressive power, establish its complexity, characterise classes of TQGCs with formulas from our logical language, and use it to formulate several solution concepts for TQCGs. (shrink)

Competing schools of contemporary jurisprudence can be “internationalized” to elucidate special problems in interpreting obligations of multinational firms under emergent corporate and international codes. An “integrity” model proves superior to a relativist conception of international business precepts. An integrity jurisprudence provides a coherent vision of a globaI rule-of-law and ethics-of-principle for the world community’s rights correlative to MNC obligations while accomodating the indeterminate and contestable nature of interpretations of such textually-based directives.

In the present study, we explore how reading habits influence the scanning and the construction of mental models in spatial reasoning. For instance, when participants are given a problem like A is to the left of B; B is to the left of C, what is the relation between A and C? They are assumed to construct the model: A B C. If reading habits influence the scanning process, then readers of French should inspect models from left to right, whereas (...) readers of Arabic should inspect them from right to left. The prediction following this analysis is that readers of French should be more inclined to produce “left” conclusions, whereas readers of Arabic should be more inclined to produce “right” conclusions. Furthermore, one may expect that readers of French show a greater ease in constructing models following a left-to-right direction than models following a right-to-left direction, whereas an opposite pattern might be expected for readers of Arabic. We tested these predictions in two experiments involving French and Yemeni participants. Experiment 1 investigated the formulation of conclusions from spatial premises, and Experiment 2, which was based on non-linguistic stimuli, examined the time required to construct mental models from left to right and from right to left. Our results show clear differences between the two groups. As expected, the French sample showed a strong left-to-right bias, but the Yemeni sample did not show the reverse bias. Results are discussed in terms of cultural influences and universal mechanisms. (shrink)

We propose strategic games wherein the strategies consist of players asking each other questions and answering those questions. We study simplifications of such games wherein two players simultaneously ask each other a question that the opponent is then obliged to answer. The motivation for our research is to model conversation including the dynamics of questions and answers, to provide new links between game theory and dynamic logics of information, and to exploit the dynamic/strategic structure that, we think, lies implicitly inside (...) epistemic models for epistemic languages, and to make that structure an explicit subject of logical study. Our main contributions are: the notion of a two-person question-answer game with information goals, the existence and computation of equilibria for these games, the correspondence with Bayesian games and their equilibria, and a connection between logic and game theory namely the existence of equilibria for positive goal formulae. (shrink)

A true lie is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a formula that becomes true when announced. We investigate true lies and other types of interaction between announced formulas, their preconditions and their postconditions, in the setting of Gerbrandy’s logic of believed announcements, wherein agents may have or obtain incorrect beliefs. Our results are on the satisfiability and validity of instantiations of these semantically (...) defined categories, on iterated announcements, including arbitrarily often iterated announcements, and on syntactic characterization. We close with results for iterated announcements in the logic of knowledge, and for lying as private announcements to different agents. Detailed examples illustrate our lying concepts. (shrink)

This article investigates the claims and complexities involved in the platform-based economics of health and fitness apps. We examine a double-edged logic inscribed in these platforms, promising to offer personal solutions to medical problems while also contributing to the public good. On the one hand, online platforms serve as personalized data-driven services to their customers. On the other hand, they allegedly serve public interests, such as medical research or health education. In doing so, many apps employ a diffuse discourse, hinging (...) on terms like “sharing,” “open,” and “reuse” when they talk about data extraction and distribution. The analytical approach we adopt in this article is situated at the nexus of science and technology studies, political economy, and the sociology of health and illness. The analysis concentrates on two aspects: datafication and commodification. We apply these analytical categories to three specific platforms: 23andMe, PatientsLikeMe, and Parkinson mPower. The last section will connect these individual examples to the wider implications of health apps’ data flows, governance policies, and business models. Regulatory bodies commonly focus on the safety and security of apps, but pay scarce attention to health apps’ techno-economic governance. Who owns user-generated health data and who gets to benefit? We argue that it is important to reflect on the societal implications of health data markets. Governments have the duty to provide conceptual clarity in the grand narrative of transforming health care and health research. (shrink)

We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as "every coalition satisfying property P can achieve φ" and "there exists a coalition C satisfying property P such that C can achieve φ". We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is (...) nevertheless exponentially more succinct. The complexity of QCL model checking for symbolic and explicit state representations is shown to be no worse than that of Coalition Logic, and satisfiability for QCL is shown to be no worse than satisfiability for Coalition Logic. We illustrate the formalism by showing how to succinctly specify such social choice mechanisms as majority voting, which in Coalition Logic require specifications that are exponentially long in the number of agents. (shrink)

This article is about evil and its function in educational discourse. The research posits, using work in postsecularism and particularly through an historical, legal, and theological read of prophetic indictment and the function of the jeremiad in educational policy, that the terms of educational debate are rendered in a legal rather than a deliberative discursive framework. This lends itself, then, to the creation of evil others opposed to one’s own preferred policy prescriptions and renders much of the discussion about and (...) around the need for conversation and comity moot. The authors propose attending to the function of evil in education as well as positing an historical approach to thinking about why we often can’t think differently about educational arguments. (shrink)

Voting Advice Applications (VAAs) are online tools designed to help citizens decide how to vote. They typically offer their users a representation of what is at stake in an election by matching user preferences on issues with those of parties or candidates. While the use of VAAs has boomed in recent years in both established and new democracies, this new phenomenon in the electoral landscape has received little attention from political theorists. The current academic debate is focused on epistemic aspects (...) of the question how a VAA can adequately represent electoral politics. We argue that conceptual and normative presuppositions at play in the background of the tool are at least as important. Even a well-developed VAA does not simply reflect what is at stake in the election by neutrally passing along information. Rather, it structures political information in a way that is informed by the developers’ presuppositions. Yet, these presuppositions remain hidden if we interpret the tool as a mirror that offers the user a reflection of him/herself situated within the political landscape. VAAs should therefore be understood as electoral dioramas, staged according to a contestable picture of politics. (shrink)

We define a multi-modal version of Computation Tree Logic (CTL) by extending the language with path quantifiers $E^\delta $ and $E^\delta $ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a CTL axiomatisation for each dimension. Completeness is proved by employing the completeness result for CTL to obtain a model along each dimension in turn. We also show that (...) the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for CTL. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional CTL logic. (shrink)

Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion (...) of bisimulation is required that characterises them. We define that notion of bisimulation and prove the required characterisations: on the class of image-finite and preimage-finite models, two pointed Kripke models are modally equivalent in either of the three logics, if and only if they are bisimilar. As a result, the information content of such a model can be similarly expressed in the logic of conditional belief, or the logic of degrees of belief, or that of safe belief. This, we found a surprising result. Still, that does not mean that the logics are equally expressive: the logics of conditional and degrees of belief are incomparable, the logics of degrees of belief and safe belief are incomparable, while the logic of safe belief is more expressive than the logic of conditional belief. In view of the result on bisimulation characterisation, this is an equally surprising result. We hope our insights may contribute to the growing community of formal epistemology and on the relation between qualitative and quantitative modelling. (shrink)

While many public health threats are now widely appreciated by the public, the risks from asbestos exposure remain poorly understood, even in high-risk groups. This article makes the case that asbestos exposure is an important, ongoing global health threat, and argues for greater policy efforts to raise awareness of this threat. It also proposes the extension of asbestos bans to developing countries and increased public subsidies for asbestos testing and abatement.

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that (...) the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. (shrink)

Developmental research suggests that young children tend to value dominant individuals over subordinates. This research, however, has nearly exclusively been carried out in Western cultures, and cross-cultural research among adults has revealed cultural differences in the valuing of dominance. In particular, it seems that Japanese culture, relative to many Western cultures, values dominance less. We conducted two experiments to test whether this difference would be observed in preschoolers. In Experiment 1, preschoolers in France and in Japan were asked to identify (...) with either a dominant or a subordinate. French preschoolers identified with the dominant, but Japanese preschoolers were at chance. Experiment 2 revealed that Japanese preschoolers were more likely to believe a subordinate than a dominant individual, both compared to chance and compared to previous findings among French preschoolers. The convergent results from both experiments thus reveal an early emerging cross-cultural difference in the valuing of dominance. (shrink)

There is a well-established relationship between isolation and both morbidity and mortality in the context of addiction recovery, yet the protective effects of intimate and familial relationships have not been adequately assessed. The current paper uses the European Life In Recovery database to assess the association between relationship status and living with dependent children on recovery capital of people in recovery from drug addiction, operationalised by the Strengths And Barriers Recovery Scale. The study participants were drawn from the REC-PATH study (...) and supplemented by a second sample recruited by the Recovered Users Network across various European countries, resulting in a combined sample of 1,313 individuals completing the survey, primarily online. The results show that, in recovery, those who are married or co-habiting reported significantly greater recovery strengths and fewer barriers to recovery, and reported greater gains in recovery capital across their recovery journeys. Similar associations are found for participants who have dependent children living with them. There is also some indication that this association is stronger for female than for male participants. Finally, having more people that one can rely on and a greater proportion of people in recovery in the social network are both linked to greater recovery capital and greater self-reported growth in recovery capital. We conclude that this study provides further evidence in favour of a “social cure” in recovery, in which close familial ties are associated with stronger recovery resources. (shrink)

ObjectiveInformed consent is a prerequisite for caesarean section, the commonest surgical procedure in low- and middle-income settings, but not always acquired to an appropriate extent. Exploring perceptions of health care workers may aid in improving clinical practice around informed consent. We aim to explore health workers’ beliefs and experiences related to principles and practice of informed consent.MethodsQualitative study conducted between January and June 2018 in a rural 150-bed mission hospital in Southern Malawi. Clinical observations, semi-structured interviews and a focus group (...) discussion were used to collect data. Participants were 22 clinical officers, nurse-midwives and midwifery students involved in maternity care. Data were analysed to identify themes and construct an analytical framework.ResultsDefinition and purpose of informed consent revolved around providing information, respecting women’s autonomy and achieving legal protection. Due to fear of blame and litigation, health workers preferred written consent. Written consent requires active participation by the consenting individual and was perceived to transfer liability to that person. A woman’s refusal to provide written informed consent may pose a dilemma for the health worker between doing good and respecting autonomy. To prevent such refusal, health workers said to only partially disclose surgical risks in order to minimize women's anxiety. Commonly perceived barriers to obtain a fully informed consent were labour pains, language barriers, women’s lack of education and their dependency on others to make decisions.ConclusionsHealth workers are familiar with the principles around informed consent and aware of its advantages, but fear of blame and litigation, partial disclosure of risks and barriers to communication hamper the process of obtaining informed consent. Findings can be used to develop interventions to improve the informed consent process. (shrink)

Causal selection is the cognitive process through which one or more elements in a complex causal structure are singled out as actual causes of a certain effect. In this paper, we report on an experiment in which we investigated the role of moral and temporal factors in causal selection. Our results are as follows. First, when presented with a temporal chain in which two human agents perform the same action one after the other, subjects tend to judge the later agent (...) to be the actual cause. Second, the impact of temporal location on causal selection is almost canceled out if the later agent did not violate a norm while the former did. We argue that this is due to the impact that judgments of norm violation have on causal selection—even if the violated norm has nothing to do with the obtaining effect. Third, moral judgments about the effect influence causal selection even in the case in which agents could not have foreseen the effect and did not intend to bring it about. We discuss our findings in connection to recent theories of the role of moral judgment in causal reasoning, on the one hand, and to probabilistic models of temporal location, on the other. (shrink)

Wittgenstein was centrally concerned with the puzzling nature of the mind, mathematics, morality and modality. He also developed innovative views about the status and methodology of philosophy and was explicitly opposed to crudely "scientistic" worldviews. His later thought has thus often been understood as elaborating a nuanced form of naturalism appealing to such notions as "form of life", "primitive reactions", "natural history", "general facts of nature" and "common behaviour of mankind". And yet, Wittgenstein is strangely absent from much of the (...) contemporary literature on naturalism and naturalising projects. This is the first collection of essays to focus explicitly on the relationship between Wittgenstein and naturalism. The volume is divided into four sections, each of which addresses a different aspect of naturalism and its relation to Wittgenstein's thought. The first section considers how naturalism could or should be understood. The second section deals with some of the main problematic domains—consciousness, meaning, mathematics—that philosophers have typically sought to naturalise. The third section explores ways in which the conceptual nature of human life might be continuous in important respects with animals. The final section is concerned with the naturalistic status and methodology of philosophy itself. This book thus casts a fresh light on many classical philosophical issues and brings Wittgensteinian ideas to bear on a number of current debates-for example experimental philosophy, neo-pragmatism and animal cognition/ethics-in which naturalism is playing a central role. (shrink)

BackgroundDespite rapid growth of the scientific literature, no consensus guidelines have emerged to define the optimal criteria for editors to grade submitted manuscripts. The purpose of this project was to assess the peer reviewer metrics currently used in the surgical literature to evaluate original manuscript submissions.MethodsManuscript grading forms for 14 of the highest circulation general surgery-related journals were evaluated for content, including the type and number of quantitative and qualitative questions asked of peer reviewers. Reviewer grading forms for the seven (...) surgical journals with the higher impact factors were compared to the seven surgical journals with lower impact factors using Fisher’s exact tests.ResultsImpact factors of the studied journals ranged from 1.73 to 8.57, with a median impact factor of 4.26 in the higher group and 2.81 in the lower group. The content of the grading forms was found to vary considerably. Relatively few journals asked reviewers to grade specific components of a manuscript. Higher impact factor journal manuscript grading forms more frequently addressed statistical analysis, ethical considerations, and conflict of interest. In contrast, lower impact factor journals more commonly requested reviewers to make qualitative assessments of novelty/originality, scientific validity, and scientific importance.ConclusionSubstantial variation exists in the grading criteria used to evaluate original manuscripts submitted to the surgical literature for peer review, with differential emphasis placed on certain criteria correlated to journal impact factors. (shrink)

This volume explores the role of both “mere habits” and sophisticated habitus in the formation of moral character and the virtues, incorporating perspectives from philosophy, theology, psychology, and neuroscience.

This research examined the influence of social-, genetic-, and brain-based explanations on attributions of others’ behaviors. Participants were university students in Studies 1, 2, and 3. Participants read a vignette about an individual who possessed several undesirable behaviors and answered related questions. The first two studies had within-subjects designs. Participants in Study 1 were provided with social-, genetic-, and brain-based explanations for the individual’s behavior. The order of the genetic- and brain-based explanations was reversed in Study 2. Study 3 used (...) the same materials, but had a between-subjects design where participants were assigned to one of three groups that differed in their explanation: social, genetic, or brain. Participants also completed measures of social desirability and free will beliefs in all three studies. Consistently, biological explanations had more influence than social explanations on ratings of others’ responsibility, capacity for change, and sentencing considerations. There was inconsistent evidence across the three studies, however, that brain-based explanations had more influence than genetic-based explanations. Interestingly, Free will scores were associated with aspects of the individual’s behavior in the social condition but not in the biological conditions. Additional social cognition research is needed to determine whether brain-based explanations are just one specific instantiation of biological explanations or whether they are unique in this regard when it comes to the attributions we make about others’ behaviors. (shrink)

According to standard linguistic theory, the meaning of an utterance is the product of conventional semantic meaning and general pragmatic rules on language use. We investigate how such a division of labor between semantics and pragmatics could evolve under general processes of selection and learning. We present a game‐theoretic model of the competition between types of language users, each endowed with certain lexical representations and a particular pragmatic disposition to act on them. Our model traces two evolutionary forces and their (...) interaction: (i) pressure toward communicative efficiency and (ii) transmission perturbations during the acquisition of linguistic knowledge. We illustrate the model based on a case study on scalar implicatures, which suggests that the relationship between underspecified semantics and pragmatic inference is one of coevolution. (shrink)